Nuprl Definition : es-init-elapsed 11,40

es-init-elapsed(esit)(x) == es_init(es)(i,x,t
latex


Definitionsx.A(x), f(a), es_init(es)
FDL editor aliaseses-init-elapsed

origin